#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
int main()
{
	int arr[3][5] = { 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 };
	int n = 0;
	scanf("%d", &n);
	for (int i = 0; i < 3; i++)
	{
		if (arr[i][0] < n &&  arr[i][4]<n)
			continue;
		for (int j = 0; j < 5; j++)
		{
			if (n == arr[i][j])
			{
				printf("yes");
				goto end;
			}
		}

	}
	end:
	return 0;
}